Total Generalized Variation for Manifold-valued Data

In this paper we introduce the notion of second-order total generalized variation (TGV) regularization for manifold-valued data in a discrete setting. We provide an axiomatic approach to formalize reasonable generalizations of TGV to the manifold setting and present two possible concrete instances that fulfill the proposed axioms. We provide well-posedness results and present algorithms for a numerical realization of these generalizations to the manifold setup. Further, we provide experimental results for synthetic and real data to further underpin the proposed generalization numerically and show its potential for applications with manifold-valued data

Many-core compiler fuzzing

We address the compiler correctness problem for many-core systems through novel applications of fuzz testing to OpenCL compilers. Focusing on two methods from prior work, random differential testing and testing via equivalence modulo inputs (EMI), we present several strategies for random generation of deterministic, communicating OpenCL kernels, and an injection mechanism that allows EMI testing to be applied to kernels that otherwise exhibit little or no dynamically-dead code. We use these methods to conduct a large, controlled testing campaign with respect to 21 OpenCL (device, compiler) configurations, covering a range of CPU, GPU, accelerator, FPGA and emulator implementations. Our study provides independent validation of claims in prior work related to the effectiveness of random differential testing and EMI testing, proposes novel methods for lifting these techniques to the many-core setting and reveals a significant number of OpenCL compiler bugs in commercial implementations

Análise de dados altimétricos obtidos por carta topográfica SRTM, Aster GDEM e Topodata para a região do município de Canela, RS.

Modelos digitais de superfície terrestre são utilizados para realizar diversas análises relacionadas à modelagem ambiental. Analisar diferentes recursos disponíveis, como SRTM, ASTER GDEM e TOPODATA, faz-se necessário, uma vez que esses dados são obtidos e disponibilizados gratuitamente. Como forma de identificar os melhores recursos, este estudo obteve os resultados e os erros gerados pela manipulação dos modelos digitais de elevação (MDE) do Município de Canela, no Rio Grande do Sul, obtidos por comparação de carta topográfica 1:50.000 com dados do SRTM, ASTER GDEM e TOPODATA, a fim de avaliar a confiabilidade dos dados e determinar sua discrepância. Para a análise da região do Município de Canela, concluímos que os dados SRTM apresentaram menor variação do erro em comparação com ASTER GDEM e TOPODATA, considerando como referência dados altimétricos na escala 1:50.000

Análise espacial da dinâmica agropecuária por meio da determinação de centros de massa e vetores espaço-temporais.

O trabalho apresenta uma análise geoespacial, com ênfase na dinâmica espaço-temporal da produção da soja. Para tanto, optou-se por uma abordagem conceitual teórica acompanhada de um estudo de caso para verificar a aplicação da metodologia desenvolvida pela Embrapa Gestão Territorial. Por meio da determinação dos centros de massa, de produção da soja, foram gerados os vetores temporais, que caracterizam a direção do crescimento da produção de soja. É apresentada a construção dos centros de massa e do vetor que determina o deslocamento da produção, no Brasil, de soja no período de 1990 a 2012. Dentre as possibilidades da aplicação de técnicas de geoprocessamento destaca-se a utilização de software livre, especialmente os de código aberto (opensource) como o gvSIG

Priorização de locais para implantação ou intensificação da vigilância fitossanitária no Brasil.

Esta nota traz a visualização dos postos de controle do VIGIAGRO, com as principais regiões produtoras das culturas ameaçadas por pragas quarentenárias, juntamente com as possíveis vias de acesso de pragas quarentenárias no território brasileiro, permitindo a identificação de deficiências na localização dos postos de controle e possibilita a priorização de locais para a implantação ou intensificação da vigilância fitossanitária

Definição de regiões prioritárias para aumento da produção de leite no Brasil.

Foram comparadas duas estratégias de identificação de municípios prioritários para ações de transferência de tecnologia para o aumento da produtividade de leite. Em ambas é obtida a meta de aumento de 40%, prevista no Programa Mais Leite. Os resultados da análise permitem aos tomadores de decisão de cada uma das Unidades da Federação optar prioritariamente pela estratégia de aumento na produtividade média de leite mais conveniente

Individual differences in working memory and semantic fluency predict younger and older adults' multimodal recipient design in an interactive spatial task

Aging appears to impair the ability to adapt speech and gestures based on knowledge shared with an addressee (common ground-based recipient design) in narrative settings. Here, we test whether this extends to spatial settings and is modulated by cognitive abilities. Younger and older adults gave instructions on how to assemble 3D- models from building blocks on six consecutive trials. We induced mutually shared knowledge by either showing speaker and addressee the model beforehand, or not. Additionally, shared knowledge accumulated across the trials. Younger and crucially also older adults provided recipient-designed utterances, indicated by a significant reduction in the number of words and of gestures when common ground was present. Additionally, we observed a reduction in semantic content and a shift in cross-modal distribution of information across trials. Rather than age, individual differences in verbal and visual working memory and semantic fluency predicted the extent of addressee-based adaptations. Thus, in spatial tasks, individual cognitive abilities modulate the inter- active language use of both younger and older adu